Définition
Définition :
On appelle \(\tau={{{\mathcal P}(E)}}\) la topologie discrète
Caractérisation
Caractérisation de la topologie discrète :
- \((E,\tau)\) est un espace topologique
- pour tout singleton \(A\subset E\), \(A\in\tau\)
$$\Huge\iff$$
- \(\tau\) est la topologie discrète
Propriété
Finesse
La topologie discrète est toujours la topologie la plus fine